Section: New Results

Automated Diagnostics for Ambiguity in Context-free Grammars

When an ambiguity is found this is reported by a complex trace (usually a set of parse trees). It is difficult for a human to spot the cause of the ambiguity and devise a fitting solution. The Dr Ambiguity algorithm is an expert tool, by Bas Basten and Jurgen Vinju, that compares different parse trees for the same sentence on essential attributes that can be distinguished by declarative disambiguation methods [15] .